Alloy 4
https://alloytools.org/quickguide/a4.html